翻訳と辞書 Words near each other ・ Frank Walkinshaw ・ Frank Wall ・ Frank Wall (Australian politician) ・ Frank Wall (politician) ・ Frank Wall (steamboat engineer) ・ Frank Wallace ・ Frank Wallace (gangster) ・ Frank Wallace (piper) ・ Frank Wallace (soccer) ・ Frank Waller ・ Frank Van der Stucken ・ Frank Van der Veer ・ Frank Van Dun ・ Frank van Eijs ・ Frank van Essen ・ Frank van Harmelen ・ Frank van Hattum ・ Frank van Kappen ・ Frank van Kouwen ・ Frank van Mosselveld ・ Frank van Neck ・ Frank Van Passel ・ Frank van Soldt ・ Frank van Straten ・ Frank Vance Strauss ・ Frank Vandenbroucke ・ Frank Vandenbroucke (cyclist) ・ Frank Vandenbroucke (politician) ・ Frank Vandiver ・ Frank Vanhecke Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Frank van Harmelen ： ウィキペディア英語版 Frank van Harmelen Frank van Harmelen (born 1960) is a Dutch Computer Scientist and Professor in Knowledge Representation & Reasoning in the AI department at the Vrije Universiteit Amsterdam. Currently he is scientific director of the LarKC project,〔(LarKC project )〕 "aiming to develop the Large Knowledge Collider, a platform for very large scale semantic web reasoning."〔(Homepage of Frank van Harmelen ) at the Vrije Universiteit Amsterdam". Retrieved 6 October 2008.〕 == Biography == After studying mathematics and computer science in Amsterdam, Frank van Harmelen moved to the Department of AI of the University of Edinburgh, where he was awarded a PhD in 1989 for his research on meta-level reasoning. While in Edinburgh, he "co-developed a logic-based toolkit for expert systems, and worked with Alan Bundy on proof planning for inductive theorem proving".〔〔 After his PhD research, he moved back to Amsterdam where he worked from 1990 to 1995 in the SWI Department under Prof. Bob Wielinga, on the use of reflection in expert systems, on the formal underpinnings of the CommonKADS methodology for Knowledge-Based Systems. In 1995 he joined the AI research group at the Vrije Universiteit Amsterdam, where he co-lead the On-To-Knowledge project, one of the first Semantic Web projects. He was appointed full professor in 2002, and is leading the Knowledge Representation and Reasoning Group. Currently he is scientific director the LarKC project aiming to develop the Large Knowledge Collider, a platform for very large scale semantic web reasoning.〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Frank van Harmelen」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.